What (who) is Винтовое исчисление - definition
Винтовое исчисление
раздел векторного исчисления (См. Векторное исчисление), в котором изучаются операции над винтами. При этом винтом называется пара векторов {a, b}, приложенных началами к одной точке О и удовлетворяющих условиям: при переходе к новой точке O' вектор а не изменяется, а вектор b заменяется вектором b' = b-[p, a], где р = OO'. Понятие винта используется в механике (равнодействующая f системы сил fi и главный момент m этой системы относительно точки системы образует винт {f, m}), в геометрии (в теории линейчатых поверхностей). В. и. было создано (1895) русским математиком А. П. Котельниковым.
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Wikipedia
Винтовое исчисление
Винтово́е исчисле́ние — раздел векторного исчисления, в котором изучаются операции над винтами.
